陶哲轩携AI再战数学，o4-mini秒怂弃赛，Claude 20分钟通关！ 陶哲轩近期通过AI工具仅用33分钟完成一页复杂的数学证明，展示了AI在数学研究中的巨大潜力。同时，国产AI模型DeepSeek打破国外垄断，推动AI辅助证明技术发展。但在实际测试中，OpenAI的o4-mini表现不佳，而Claude却在20分钟内通关数学难题，引发关于AI在数学领域应用前景的热议。 36KR热点 2025年05月15日 08:56 0 点赞 0 评论 45 浏览
36KR热点